例句與造句

1. The term " multimodal logic " itself was not introduced until 1980.
2. Initially, a Kripke model but more than one accessibility relation can exist ( a multimodal logic ) in which case subscripts are used.
3. Another example of a multimodal logic is the Hennessy Milner logic, itself a fragment of the more expressive modal ?-calculus, which is also a fixed-point logic.
4. Multimodal logic can be used also to formalize a kind of knowledge representation : the motivation of epistemic logic is allowing several agents ( they are regarded as multimodal generalization of Kripke semantics can be used : instead of a single " common " accessibility relation, there is a series of them indexed on the set of agents.
5. It's difficult to find multimodal logic in a sentence. 用multimodal logic造句挺難的